$\forall$$T$:Type, $r$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). (($r$$^{\circ}$)$\backslash$) $\equiv>$\{$T$\} $r$